﻿#----------------------------------------------------------------------------
# Purpose: To demonstrate automated reasoning in natural language:
# - Drawing conclusions, making assumptions, asking questions,
# - detecting conflicts and some cases of semantic ambiguity, and
# - displaying of justification reports for the self-generated knowledge
# Version: Thinknowlogy 2018r4 (New Science)
#----------------------------------------------------------------------------
# Copyright (C) 2009-2018, Menno Mafait. Your suggestions, modifications,
# corrections and bug reports are welcome at http://mafait.org/contact/
#----------------------------------------------------------------------------

# Een simpele definitie van een gezin.
Iedere persoon is een man of een vrouw.
Iedere vrouw is vrouwelijk.
Iedere man is mannelijk.
Ieder gezin heeft ouders en kinderen.
Iedere ouder is een vader of een moeder.
Ieder kind is een zoon of een dochter.
Iedere vader is een man.
Iedere moeder is een vrouw.
Een zoon is een man.
Een dochter is een vrouw.
#C++## Type nu zinnen zoals:
#C++##
#C++## Jan is de vader en Anna is de moeder van Paul, Johan en Laura.
#C++## Paul is een zoon.			Paul is een man.
#C++## Johan is een zoon.		Johan is een man.
#C++## Laura is een dochter.		Laura is een vrouw.
#C++## Jan is een vader.			Jan is een ouder.
#C++## Anna is een moeder.		Anna is een ouder.
#C++## Toon informatie over Jan.		Toon informatie over Anna.
#C++## Toon informatie over Paul.	Toon informatie over Laura.
#C++## Toon informatie over ouders.	Toon info informatie over kinderen.
#C++## Paul is een zoon van Jan en Anna.
#C++## Johan is een zoon van Jan en Anna.
#C++## Laura is een dochter van Jan en Anna.
#C++##
#C++## Zie de tekst op de knoppen of de schermafdrukken van gezin
#C++## (in submap screenshots\) voor meer voorbeelden.
#C++##
# Probeer de zinnen in allerlei combinaties en in verschillende volgorde.
# Gebruik knop «Wis je geheugen.», «Ongedaan-maken.» of «Herstart.» op het opnieuw te proberen.